A Holistic Approach in Embedded System Development

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Holistic Approach in Embedded System Development

We present pState, a tool for developing “complex” embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitative and quantitative properties are specified in system models expressed as pCharts, an extended version of hierarchical state machines. These properties are specified in an intuitive way such that they can be written ...

متن کامل

An embedded object approach to embedded system development

Building an embedded system from an idea to a product is a slow and expensive process requiring a lot of expertise. Depending on the developer’s expertise, the required quantity and price level of the final product, and the time and money available for development, the developer can build a device from different granularity of components, ranging from ready-made platforms, kits, and modules to ...

متن کامل

Towards A Holistic Approach for Protocol Development in Sensor Networks

Technological advances in VLSI, MEMS, and wireless communication have ushered in a new age of miniature, low cost, low-energy, micro-sensors. Networks of such devices, called Wireless Sensor Networks (WSNs), hold the promise of revolutionizing sensing across a range of civil, scientific, military and industrial applications. The potentially high impact of this technology and the complex challen...

متن کامل

Developing a Holistic Accreditation System for Medical Universities of Iran

Introduction: Accreditation is a quality assurance system in higher education in order to make sure universities meet the minimum accepted standards. In this study, the institutional accreditation system for Iran’s Medical Universities was designed as was ordered by Ministry of Health and Medical Education and with the goal of continuous improvement of quality of education, research and servic...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2015

ISSN: 2075-2180

DOI: 10.4204/eptcs.187.6